منابع مشابه
A new route to the necessity of origin
Saul Kripke (1980, 112–4) has claimed that there are necessary connections between material things and their material origins. His presentation of such necessity of origin theses included two paradigmatic examples: that it is impossible for a particular table to have been constructed from any hunk of matter other than that from which it was actually constructed, or for a particular human being ...
متن کاملTowards The Inductive Acquisition of Temporal Knowledge
A method is proposed for the inductive acquisition of temporal classification rules from large number of training instances. The method is designed for the incremental acquisition of uncertain rules. Refinement (specialization and generalization) operators for the temporal domain are given, and various heuristics in rule invocation and incremental rule generation are discussed. The method has p...
متن کاملTowards the Validation of Inductive Learning Systems
The present paper deals with inductive inference of recur-sive functions, in general, and with the problem of validating inductive learning devices, in particular. Thus, the paper aims at a contribution to the research and development area of intelligent systems validation. As those systems are typically interactive and, therefore, utilized in open loops of human{machine interactions, the probl...
متن کاملTowards Inductive Support Logic Programming
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. This paper presents a snapshot of current research, aimed at combining the best aspects of inductive logic programming with the uncertainty representation of Fril to create a sophisticated and novel approach to knowledge discovery. An ex...
متن کاملTowards Intelligent Inductive Proof Engineering
This paper deals with inductive theorem proving (ITP for short). It does not provide new theoretical results but analyses existing ITP methods from an AI point of view. The presentation is based on the implicit ITP approach, i.e. ITP using the well-developed framework of rewriting and completion techniques for systems of equations and rewrite rules. We think that the relevant practical problems...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Analytica
سال: 2019
ISSN: 0353-5150,1874-6349
DOI: 10.1007/s12136-019-00402-3